1. Model checking softwar
پدیدآورنده: Alex Groce, Madanlal Musuvathi (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: SPIN (Computer file), Congresses,Computer software, Verification, Congresses
رده :
QA
،
76
.
76
،.
V47
2. Model checking software
پدیدآورنده: Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: SPIN (Computer file),Computer software-- Verification, Congresses
3. Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
پدیدآورنده: Susanne Graf, Laurent Mounier )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
2989
4. Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
پدیدآورنده: Dragan Bosnacki, Stefan Leue ]eds.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، SPIN )Computer file(,Congresses ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
2318
5. Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
پدیدآورنده: Thomas Ball, Sriram K. Rajamani )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
2648
6. Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings
پدیدآورنده: Patrice Godefroid )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، SPIN )Computer file(,Congresses ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
3639
7. Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
پدیدآورنده: Matthew Dwyer )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
2057
8. SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings
پدیدآورنده: Klaus Havelund, John Penix, Willem Visser )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
1885
9. Theoretical and Practical aspects of SPIN model-checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5th 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
پدیدآورنده: Dennis Dams...]et al.[, )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
1680
